$\forall$$d$:Decl, $x$:Id. $d$($x$) $\in$ Type